Formalising the Chisel Feature Notation
نویسنده
چکیده
The CHISEL notation was developed by Bellcore as an informal graphical notation for describing telecomms services and features. CRESS (CHISEL Representation Employing Systematic Specification) is an enhanced version of CHISEL with tightly defined rules for the syntax and static semantics of diagrams. More importantly, CRESS has formal denotations given by SDL (Specification and Description Language) and LOTOS (Language Of Temporal Ordering Specification). This permits rigorous checking, analysis and prototyping of descriptions. The accompanying toolset has been written in an open and extensible manner.
منابع مشابه
Formalising Graphical Behaviour Descriptions
CRESS (Chisel Representation Employing Systematic Specification) is used for graphical behaviour description, underpinned by formal and implementation languages. Plug-in frameworks adapt it for particular application domains such as Intelligent Networks, Internet Telephony and Interactive Voice Response. The CRESS notation and its syntax are explained. The semantics of CRESS is discussed with r...
متن کاملModular Feature Specification
CRESS (CHISEL Representation Employing Systematic Specification) is a notation and set of tools for graphical specification and analysis of features. It is applicable wherever a system consists of base functionality to which are added optionally selected features. The CRESS notation is introduced for basic diagrams, feature diagrams, and rules governing their behaviour. Although telephony is us...
متن کاملRepresenting New Voice Services and Their Features
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup Language). It is explained how CRESS (Chisel Representation Employing Systematic Specification) can graphically represent services and features in these domains. CRESS is a front-end for detecting feature interactions and for...
متن کاملFormalising Web Services
Despite the popularity of web services, creating them manually is an intricate task. Composite web services are defined using the evolving standard for BPEL (Business Process Execution Logic). It is explained how CRESS (Chisel Representation Employing Systematic Specification) has been extended to meet the challenge of graphically and formally describing web services. Sample CRESS descriptions ...
متن کاملStructuring Telecommunications Features
It is argued that languages constructs for defining services are important in providing well-structured descriptions. This view is illustrated with two service definition languages, Anise (Architectural Notions In Service Engineering) and Cress (Chisel Representation Employing Structured Specifications). Anise is a mainly textual notation for defining services through the composition of simpler...
متن کامل